Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
381	Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988 Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2006-04-24 18:16:59 Proof theory Automated theorem proving Propositional calculus Logical truth Logical syntax Sequent Cut-elimination theorem Substitution Resolution Logic Mathematical logic Mathematics
382	An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don’t mean to ask if you ever wondered whether every number Add to Reading List Source URL: aleph0.clarku.edu Language: English - Date: 2014-08-12 16:34:20 Mathematical logic Elementary arithmetic Mathematical induction Singly and doubly even Proof by contradiction Parity of a permutation Handshaking lemma Mathematics Mathematical proofs Parity
383	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
384	15-151: Mathematical Foundations for Computer Science Strong Induction Workshop Friday, September 27 Notation Reminder Add to Reading List Source URL: www.countablethoughts.com Language: English - Date: 2014-12-15 20:39:32 Knowledge Mathematical induction Mathematical proof Inductive reasoning Prime number Recursive definition Fundamental theorem of arithmetic Mathematics Mathematical logic Logic
385	math-strategies-examples-1.dvi Add to Reading List Source URL: www.erikthered.com Language: English - Date: 2013-04-02 21:05:28 Proof theory Equation Ordinary differential equations Sturm–Liouville theory Classical orthogonal polynomials Mathematics Elementary algebra Mathematical fallacy
386	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
387	This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2002-05-15 22:05:35 Automated theorem proving Mathematical logic Formal methods Logical truth Mathematical proof Proof assistant Formal proof Proof Theorem Logic Mathematics Proof theory
388	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
389	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
390	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory

UPDATE